integral of cos(x)/(x^2+1) between -infinity and infinity